\lstdefinelanguage{grafite} {
mathescape=true,
texcl=false,
keywords={include, set},
morekeywords={return, in, var, for, forall, downto, do, begin, end, parallel,
	integer, function, all, where, procedure, if, then, else, not, mod},
%emph={[1]Type, Prop, nat, real}, emphstyle={[1]\textit},
literate=	
	{...}{{$\ldots$}}1
	,
comment=[s]{(*}{*)},
%keywordstyle=\color{black}\bfseries,
showstringspaces=true,
extendedchars=true,
sensitive=false,
captionpos=b,
mathescape=true,
%backgroundcolor=\color{gray},
frame=tblr,
frameround=tttt,
columns=flexible,
basicstyle=\small,
escapeinside={@!}{!@},
}

